$\forall$$a$, $b$, $n$:$\mathbb{Z}$. ($a$+$n$ = $b$+$n$) $\Rightarrow$ ($a$ = $b$)